akolahy nom.2 ^{grammar (beta)}

coq